\begin{tabbing}
bframe{-}p(${\it es}$; $i$; $k$; $L$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$alle{-}at(\=${\it es}$;\+
\\[0ex]$i$;
\\[0ex]$e$.((es{-}kind(${\it es}$; $e$) = $k$)
\\[0ex]$\Rightarrow$ ($\forall$$l$:IdLnk. ($\neg$($l$ $\in$ $L$)) $\Rightarrow$ (es{-}sends(${\it es}$; $l$; $e$) = []))))
\-
\end{tabbing}